projects
/
cargo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
a1d772d
b43d286
)
Auto merge of #1974 - alexcrichton:dont-document-build, r=brson
author
bors
<bors@rust-lang.org>
Tue, 8 Sep 2015 20:50:12 +0000
(20:50 +0000)
committer
bors
<bors@rust-lang.org>
Tue, 8 Sep 2015 20:50:12 +0000
(20:50 +0000)
They're not actually relevant to the documentation, so omit them.
Trivial merge
projects / cargo.git / commitdiff